Books by author John Derrick

Showing 1 – 9 out of 9 results

1. 

   Refinement

   John Derrick, Eerke Boiten | Springer Nature Switzerland AG, 2019

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   50.73 €

   Sale 9 %

   You save 5.41 €

   Buy
2. 

   Formal Methods for Open Object-based Distributed Systems

   Howard Bowman, John Derrick | Chapman and Hall, 1997

   
   

   In stock at our supplier - Shipping in 14 - 21 days

   Language: English

   Binding: Hardback

   220.39 €

   Buy
3. 

   Abstract State Machines, Alloy, B, VDM, and Z

   John Derrick, John S. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   In stock at our supplier - Shipping in 14 - 21 days

   Language: English

   Binding: Paperback

   56.21 €

   Buy
4. 

   Refinement in Z and Object-Z

   John Derrick, Eerke A. Boiten | Springer, Berlin, 2001

   
   

   50/50 - We search the world

   Language: English

   Binding: Paperback

   158.89 €

   Buy
5. 

   Formal Techniques for Networked and Distributed Systems - FORTE 2007

   John Derrick, Jüri Vain | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.84 €

   Sale 7 %

   You save 4.29 €

   Buy
6. 

   Integrated Formal Methods

   Eerke A. Boiten, John Derrick, Graeme Smith | Springer, Berlin, 2004

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.84 €

   Sale 7 %

   You save 4.29 €

   Buy
7. 

   Refinement

   John Derrick, Eerke A. Boiten | Springer International Publishing AG, 2018

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: English

   Binding: Hardback

   50.73 €

   Sale 9 %

   You save 5.41 €

   Buy
8. 

   Refinement in Z and Object-Z

   John Derrick, Eerke A. Boiten | Springer London Ltd, 2013

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: English

   Binding: Hardback

   103.29 €

   Sale 7 %

   You save 8.65 €

   Buy
9. 

   Integrated Formal Methods

   John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.84 €

   Sale 7 %

   You save 4.29 €

   Buy

Books can be collected at many points all over Slovakia. Find out more